<html>
<body>
<h1>Reserved Keywords</tt>
<p>
The reserved keywords, that should not be used
as <a href="@System Descriptions/Identifiers">identifier names</a>
when defining systems, are:
<pre>

assign, 
chan, clock, commit, const, 
externalDecl, 
globalDecl, graphinfo, guard, 
hide, 
imports, init, int, invariant, 
localDecl, location, locationName,
paramList, procAssign, process,
rate, 
state, sync, system, systemDef,  
templateName, trans, 
urgent
</pre>

</body>
</html>
